Type Set
proposal: spec: generics: use type sets to remove type keyword in constraints
Context
このproposalでは型制約をinterface型で表現することになっている しかしinterface型は定義上method setなので、「<で比較できる」というような広義のインターフェースを表現できない type listを含むinterfaceは型制約の中でしか用いることができないが、将来的に変数の型や関数のシグネチャの型としても用いることができるようにすることが検討されている その内容のproposalも出された
type listをもつinterface型は型制約の中でしか使えないという制約を取り除くproposal Type Set概念は、従来のinterfaceがmethod setによって特定されることによる限界を克服してinterface概念を拡張するための概念である